用定义证明:f(x)=x^2+2x^-1在(0小于X小于等于1)上是减函数